Naumann, David A. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (186)
Les plus populaires
Liste
- Liste
- Tableau

1

Overfishing: What Everyone Needs to Know, by Ray Hilborn with Ulrike Hilborn

Naumann, Cayla, Robinson, James P. W., Freshwater, Cameron, Hertz, Eric, Stormer, David, Teffer, Amy K., Juanes, Francis

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 322 KB

english, 2014

2

Quick test for reversible and irreversible PID of bifacial PERC solar cells

Sporleder, Kai, Turek, Marko, SchÃ¼ler, Nadine, Naumann, Volker, Hevisov, David, PÃ¶blau, Clemens, GroÃer, Stephan, Schulte-Huxel, Henning, Bauer, Jan, Hagendorf, Christian

Journal:

Solar Energy Materials and Solar Cells

Année:

2021

Fichier:

PDF, 2.19 MB

2021

3

Organizational Configurations and Performance: A Meta-Analysis

David J. Ketchen, Jr., James G. Combs, Craig J. Russell, Chris Shook, Michelle A. Dean, Janet Runge, Franz T. Lohrke, Stefanie E. Naumann, Dawn Ebe Haptonstahl, Robert Baker, Brenden A. Beckstein, Cha

Journal:

The Academy of Management Journal

Année:

1997

Langue:

english

Fichier:

PDF, 349 KB

english, 1997

4

Quantification of dissolved oxygen dynamics in a semi-enclosed sea - a comparison of observational platforms

Meyer, David, Lips, Urmas, Prien, Ralf D., Naumann, Michael, Liblik, Taavi, Schuffenhauer, Ingo, Schulz–Bull, Detlef E.

Journal:

Continental Shelf Research

Année:

2018

Langue:

english

Fichier:

PDF, 11.27 MB

english, 2018

5

Performance-Based Exposure Control Limits for Pharmaceutical Active Ingredients

Naumann, Bruce D., Sargent, Edward V., Starkman, Barry S., Fraser, William J., Becker, Gail T., Kirk, G. David

Journal:

Année:

1996

Fichier:

PDF, 1.29 MB

1996

6

A recursion theorem for predicate transformers on inductive data types

David A. Naumann

Journal:

Information Processing Letters

Année:

1994

Langue:

english

Fichier:

PDF, 565 KB

english, 1994

7

Determining information requirements: A contingency method for selection of a requirements assurance strategy

J.David Naumann, Gordon B. Davis, James D. McKeen

Journal:

Journal of Systems and Software

Année:

1980

Langue:

english

Fichier:

PDF, 965 KB

english, 1980

8

Predicate transformers and higher-order programs

David A. Naumann

Journal:

Theoretical Computer Science

Année:

1995

Langue:

english

Fichier:

PDF, 2.78 MB

english, 1995

9

Predicate transformer semantics of a higher-order imperative language with record subtyping

David A. Naumann

Journal:

Science of Computer Programming

Année:

2001

Langue:

english

Fichier:

PDF, 294 KB

english, 2001

10

Crystal Structure and Functional Analysis of the Protein Disulfide Isomerase-Related Protein ERp29

Naomi N. Barak, Piotr Neumann, Madhumati Sevvana, Mike Schutkowski, Kai Naumann, Miroslav Malešević, Heike Reichardt, Gunter Fischer, Milton T. Stubbs, David M. Ferrari

Journal:

Journal of Molecular Biology

Année:

2009

Langue:

english

Fichier:

PDF, 1.85 MB

english, 2009

11

Application of the threshold of toxicological concern concept to pharmaceutical manufacturing operations

David G. Dolan, Bruce D. Naumann, Edward V. Sargent, Andrew Maier, Michael Dourson

Journal:

Regulatory Toxicology and Pharmacology

Année:

2005

Langue:

english

Fichier:

PDF, 222 KB

english, 2005

12

[IEEE 2013 IEEE International Conference on High Performance Computing and Communications (HPCC) & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (EUC) - Zhangjiajie, China (2013.11.13-2013.11.15)] 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing - Analysis of Authentication and Key Establishment in Inter-generational Mobile Telephony

Tang, Chunyu, Naumann, David A., Wetzel, Susanne

Année:

2013

Langue:

english

Fichier:

PDF, 383 KB

english, 2013

13

The Importance of Human Data in the Establishment of Occupational Exposure Limits

Sargent, Edward V., Naumann, Bruce D., Dolan, David G., Faria, Ellen C., Schulman, Lisa

Journal:

Human and Ecological Risk Assessment An International Journal

Année:

2002

Langue:

english

Fichier:

PDF, 177 KB

english, 2002

14

Whole-brain activity mapping onto a zebrafish brain atlas

Randlett, Owen, Wee, Caroline L, Naumann, Eva A, Nnaemeka, Onyeka, Schoppik, David, Fitzgerald, James E, Portugues, Ruben, Lacoste, Alix M B, Riegler, Clemens, Engert, Florian, Schier, Alexander F

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 4.18 MB

english, 2015

15

[ACM Press the 12th Workshop - Maribor, Slovenia (2010.06.22-2010.06.22)] Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs - FTFJP '10 - Refactoring and representation independence for class hierarchies

Silva, Leila, Naumann, David A., Sampaio, Augusto

Année:

2010

Langue:

english

Fichier:

PDF, 203 KB

english, 2010

16

First-order Uncertainty Analysis using Algorithmic Differentiation of Morphodynamic Models

Villaret, Catherine, Kopmann, Rebekka, Wyncoll, David, Riehme, Jan, Merkel, Uwe, Naumann, Uwe

Journal:

Computers & Geosciences

Année:

2015

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2015

17

Towards patterns for heaps and imperative lambdas

Naumann, David A.

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2015

Langue:

english

Fichier:

PDF, 1.16 MB

english, 2015

18

An Exercise Intervention During Chemotherapy for Women With Recurrent Ovarian Cancer

Mizrahi, David, Broderick, Carolyn, Friedlander, Michael, Ryan, Mary, Harrison, Michelle, Pumpa, Kate, Naumann, Fiona

Journal:

International Journal of Gynecological Cancer

Année:

2015

Langue:

english

Fichier:

PDF, 305 KB

english, 2015

19

Differences in screening vs . non-screening colonoscopy: scope for improvement?

Ahmed, Sohail, Naumann, David N, Karandikar, Sharad

Journal:

Colorectal Disease

Année:

2016

Langue:

english

Fichier:

PDF, 247 KB

english, 2016

20

Local Reasoning for Global Invariants, Part II

Banerjee, Anindya, Naumann, David A.

Journal:

Journal of the ACM

Année:

2013

Langue:

english

Fichier:

PDF, 2.40 MB

english, 2013

21

Scanning and War

Smith, Iain M., Naumann, David N., Marsden, Max E. R., Ballard, Mark, Bowley, Douglas M.

Journal:

Annals of Surgery

Année:

2015

Langue:

english

Fichier:

PDF, 211 KB

english, 2015

22

ANALYSIS OF MECHANICAL AND METABOLIC FACTORS IN THE GAIT OF CONGENITAL BELOW KNEE AMPUTEES

Colborne, G Robert, Naumann, Stephen, Longmuir, Patricia E., Berbrayer, David

Journal:

American Journal of Physical Medicine & Rehabilitation

Année:

1992

Fichier:

PDF, 647 KB

1992

23

Observational study of the effects of traumatic injury, haemorrhagic shock and resuscitation on the microcirculation: a protocol for the MICROSHOCK study

Hutchings, Sam, Naumann, David N, Harris, Tim, Wendon, Julia, Midwinter, Mark J

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.67 MB

english, 2016

24

An adapted Clavien-Dindo scoring system in trauma as a clinically meaningful non-mortality endpoint

Naumann, David N, Vincent, Laura E, Pearson, Nicola, Beaven, Alastair, Smith, Iain M, Smith, Kieran, Toman, Emma, Dorrance, Helen R, Porter, Keith, Wade, Charles E, Cotton, Bryan A, Holcomb, John B, M

Journal:

Journal of Trauma and Acute Care Surgery

Année:

2017

Langue:

english

Fichier:

PDF, 2.10 MB

english, 2017

25

Towards research combat readiness: prepared, prospective and preapproved

Naumann, David N, Eisenstein, N, Burns, D S, Stapley, S A

Journal:

Journal of the Royal Army Medical Corps

Année:

2017

Langue:

english

Fichier:

PDF, 353 KB

english, 2017

26

What fluids are given during air ambulance treatment of patients with trauma in the UK, and what might this mean for the future? Results from the RESCUER observational cohort study

Naumann, David N, Hancox, James M, Raitt, James, Smith, Iain M, Crombie, Nicholas, Doughty, Heidi, Perkins, Gavin D, Midwinter, Mark J

Journal:

Année:

2018

Langue:

english

Fichier:

PDF, 507 KB

english, 2018

27

Prehospital haemostatic dressings for trauma: a systematic review

Boulton, Adam J, Lewis, Christopher T, Naumann, David N, Midwinter, Mark J

Journal:

Emergency Medicine Journal

Année:

2018

Langue:

english

Fichier:

PDF, 1.97 MB

english, 2018

28

Could resuscitation be based on microcirculation data? No

Naumann, David N., Lima, Alexandre

Journal:

Intensive Care Medicine

Année:

2018

Langue:

english

Fichier:

PDF, 790 KB

english, 2018

29

Sektorkopplung – Was ist darunter zu verstehen?; Sectoral Coupling—What Does this Mean?;

Wietschel, Martin, Plötz, Patrick, Klobasa, Marian, Müller-Kirchenbauer, Joachim, Kochems, Johannes, Hermann, Lisa, Grosse, Benjamin, Nacken, Lukas, Küster, Michael, Naumann, David, Kost, Christoph, F

Journal:

Zeitschrift für Energiewirtschaft

Année:

2018

Fichier:

PDF, 415 KB

2018

30

Future strategies for remote damage control resuscitation after traumatic hemorrhage

Naumann, David N., Khan, Mansoor A., Smith, Jason E., Rickard, Rory, Woolley, Tom

Journal:

Journal of Trauma and Acute Care Surgery

Année:

2019

Langue:

english

Fichier:

PDF, 120 KB

english, 2019

31

A Comprehensive Program Enabling Effective Delivery of Regional Genetic Counseling

Brown, Jubilee, Athens, Aly, Tait, David L., Crane, Erin K., Higgins, Robert V., Naumann, R. Wendel, Gusic, Lejla Hadzikadic, Amacker-North, Lisa

Journal:

International Journal of Gynecological Cancer

Année:

2018

Langue:

english

Fichier:

PDF, 262 KB

english, 2018

32

Enabling Green and Blue Infrastructure to Improve Contributions to Human Well-Being and Equity in Urban Systems

Andersson, Erik, Langemeyer, Johannes, Borgström, Sara, McPhearson, Timon, Haase, Dagmar, Kronenberg, Jakub, Barton, David N, Davis, McKenna, Naumann, Sandra, Röschel, Lina, Baró, Francesc

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 1.26 MB

english, 2019

33

Techno-Economic Assessment of Soiling Losses and Mitigation Strategies for Solar Power Generation

Ilse, Klemens, Micheli, Leonardo, Figgis, Benjamin W., Lange, Katja, Daßler, David, Hanifi, Hamed, Wolfertstetter, Fabian, Naumann, Volker, Hagendorf, Christian, Gottschalg, Ralph, Bagdahn, Jörg

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 2.91 MB

english, 2019

34

“Setting paint” analogy for the hydrophobic self-association of tropoelastin into elastin-like hydrogel

Christoph Naumann, Suzanne M. Mithieux, David Szekely, Yidong Tu, Anthony S. Weiss, Philip W. Kuchel

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 393 KB

english, 2009

35

Category Theoretic Models of Data Refinement

Michael Johnson, David Naumann, John Power

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 324 KB

english, 2009

36

Fluorescence correlation spectroscopy of CdSe/ZnS quantum dot optical bioimaging probes with ultra-thin biocompatible coatings

Michael J. Murcia, David L. Shaw, Eric C. Long, Christoph A. Naumann

Journal:

Optics Communications

Année:

2008

Langue:

english

Fichier:

PDF, 696 KB

english, 2008

37

Basophils Orchestrate Chronic Allergic Dermatitis and Protective Immunity against Helminths

Caspar Ohnmacht, Christian Schwartz, Marc Panzer, Isabell Schiedewitz, Ronald Naumann, David Voehringer

Journal:

Année:

2010

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2010

38

Towards imperative modules: Reasoning about invariants and sharing of mutable state

David A. Naumann, Mike Barnett

Journal:

Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 494 KB

english, 2006

39

Observational purity and encapsulation

David A. Naumann

Journal:

Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 470 KB

english, 2007

40

Calculating sharp adaptation rules

David A. Naumann

Journal:

Information Processing Letters

Année:

2001

Langue:

english

Fichier:

PDF, 82 KB

english, 2001

41

Soundness of data refinement for a higher-order imperative language

David A. Naumann

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 228 KB

english, 2002

42

Combining subproteome enrichment and Rubisco depletion enables identification of low abundance proteins differentially regulated during plant defense

Ivy Widjaja, Kai Naumann, Udo Roth, Noreen Wolf, David Mackey, Jeffery L. Dangl, Dierk Scheel, Justin Lee

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 438 KB

english, 2009

43

Data refinement, call by value and higher order programs

David A. Naumann

Journal:

Formal Aspects of Computing

Année:

1995

Langue:

english

Fichier:

PDF, 593 KB

english, 1995

44

On assertion-based encapsulation for object invariants and simulations

David A. Naumann

Journal:

Formal Aspects of Computing

Année:

2007

Langue:

english

Fichier:

PDF, 605 KB

english, 2007

45

z-Spectra of 23Na+ in stretched gels: Quantitative multiple quantum analysis

Bogdan E. Chapman, Christoph Naumann, David J. Philp, Uzi Eliav, Gil Navon, Philip W. Kuchel

Journal:

Journal of Magnetic Resonance

Année:

2010

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2010

46

Modeling Network Latency and Parallel Processing in Distributed Database Design

Jesper M. Johansson, Salvatore T. March, J. David Naumann

Journal:

Decision Sciences

Année:

2003

Langue:

english

Fichier:

PDF, 195 KB

english, 2003

47

SCAT AND SPAT: LARGE-SCALE COMPUTER-BASED OPTIMIZATION SYSTEMS FOR THE PERSONNEL ASSIGNMENT PROBLEM

Arthur V. Hill, J. David Naumann, Norman L. Chervany

Journal:

Decision Sciences

Année:

1983

Langue:

english

Fichier:

PDF, 694 KB

english, 1983

48

A Striated Intercellular Material in Rat Brain

NAUMANN, RONALD A., WOLFE, DAVID E.

Journal:

Année:

1963

Fichier:

PDF, 776 KB

1963

49

Monitoring neural activity with bioluminescence during natural behavior

Naumann, Eva A, Kampff, Adam R, Prober, David A, Schier, Alexander F, Engert, Florian

Journal:

Nature Neuroscience

Année:

2010

Langue:

english

Fichier:

PDF, 1.10 MB

english, 2010

50

Relative intensities of components of quadrupolar-split multiplets in NMR spectra: Rationale for a simple rule

David J. Philp, Christoph Naumann, Philip W. Kuchel

Journal:

Concepts in Magnetic Resonance Part A

Année:

2012

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2012